Ensuring liveness properties of distributed systems: Open problems
نویسندگان
چکیده
منابع مشابه
Ensuring Liveness Properties of Distributed Systems (A Research Agenda)
Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations these lead to false conclusions. This document presents a research agenda aiming at laying the foundations of a theory of concurrency that is equipped to ensure liveness properties of distributed systems without making fairness assumptions. This theory will encompa...
متن کاملVerification of Liveness Properties in Distributed Systems
This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement. In this paper we outline how enabledness preservation and non-divergence are related to the liveness properties of the B models of the distributed systems. We address the liveness issues...
متن کاملENSURING VALUE LIVENESS of DISTRIBUTED SOFTWARE THROUGH CHANGELING†
This paper extends the Changeling methodology, which ensures safety of concurrent and distributed software, to provide responsiveness properties. Changeling employs formal methods to generate executable assertions which ensure that the physical state, in the actual run time environment, is consistent with the logical state specified in the assertion. The focus, here, is on the generation of exe...
متن کاملOn the Refinement of Liveness Properties of Distributed Systems
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reasoning only over finite execution fragments. Current simulation-relation based methods for reasoning about liveness properties of automata require reasoning over entire executions, since they involve a proof obligation ...
متن کاملIdentifying Open Problems in Distributed Systems
The technology above and within the Internet continues to advance, and has reached a point where the potential benefits of very large scale, finely distributed applications are more apparent than ever. Opportunities are emerging to develop large systems that cater to highly dynamic and mobile sets of participants, who desire to interact with each other and stores of online content in a robust m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2019
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2019.100480